03f1bc8797f8c2657513baf4768d426f9fadec0d,pdt.editor/src/org/cs3/pdt/editor/metadata/PredicateReadingUtilities.java,PredicateReadingUtilities,findBeginOfPredicateName,#IDocument#number#,121

Before Change


			start--; // scan left until first non-predicate-name  char
		}
		start++; // start is now the position of the first predicate char
		if (document.getChar(start) == '\'') {
			predicate_name_is_enclosed_in_quotes = true;
			// start++; // quotes are not part of the name
		}

After Change


			throws BadLocationException {
		int start = begin;
		ITypedRegion partition = document.getPartition(begin);
		boolean predicateNameIsEnclosedInQuotes = (partition != null && PLPartitionScanner.PL_SINGLE_QUOTED_STRING.equals(partition.getType()));
		if (predicateNameIsEnclosedInQuotes) {
			return partition.getOffset();
		} else {
			while (start >= 0 && ParserUtils.isNormalPredicateNameChar(document.getChar(start))) {
				start--; // scan left until first non-predicate-name  char
			}
			return start + 1;
		}

//		while (start >= 0 && ParserUtils.isPredicateNameChar(document.getChar(start))) {